TSTP Solution File: QUA005^1 by SRASS---0.1